Wittgenstein, Peirce, and Paradoxes of Mathematical Proof

Lakatos and Hersh on Mathematical Proof

مفهوم اثبات در چند دهۀ اخیر مناقشه­آمیز شده است. به طوری که افراد نظریه‌های مختلفی دربارۀ چیستی اثبات ارائه داده­اند. لاکاتوش و هرش از جملۀ این افراد هستند. نظریه‌های این دو فیلسوف شباهت­ها و اختلافات قابل توجهی دارند. به نظر می‌‌رسد که با مقایسه و بررسی نقادانۀ این دو نظریه فهم بهتری از مفهوم اثبات ریاضیاتی به دست خواهد آمد. دو وجه شباهت مهم بین این دو نظریه عبارتند از: دوگانه‌انگاری در اثبات ...

Two Proof Systems for Peirce Algebras

This paper develops and compares two tableaux-style proof systems for Peirce algebras. One is a tableau refutation proof system, the other is a proof system in the style of Rasiowa-Sikorski.

Introduction: Mathematical Paradoxes

Peirce ’ S Continuum a Methodological and Mathematical Approach – – – – – – – –

lakatos and hersh on mathematical proof

the concept of mathematical proof has been controversial for the past few decades. different philosophers have offered different theories about the nature of mathematical proof, among which theories presented by lakatos and hersh have had significant similarities and differences with each other. it seems that a comparison and critical review of these two theories will lead to a better understan...